Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
641	September 29-30, 2014. Valencia, Spain. co-located with MODELS ORGANIZING COMMITTEE Program Co-Chairs: • Daniel Amyot, University of Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-01-29 20:29:32 TTCN Specification and Description Language Algorithmic Number Theory Symposium Computing Message Sequence Chart Lecture Notes in Computer Science Model-driven engineering Abstract Syntax Notation One Software engineering Diagrams Science Unified Modeling Language
642	Feature Selection Bias in Classification of High Dimensional Data John H Maindonald December 5, 2013 Abstract This vignette reproduces modified versions the calculations and the Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 12:06:59 Multivariate statistics Statistical classification Linear discriminant analysis Cross-validation Algebraic number theory Validation Feature selection Discriminant Statistics Machine learning Model selection
643	PACIFIC JOURNAL OF MATHEMATICS Vol. 109, No. 1, 1983 THE WHITTAKER MODELS OF INDUCED REPRESENTATIONS HERvέ JACQUET AND JOSEPH SHALIKA Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2007-02-16 14:48:22 Representation theory Automorphic forms Harmonic analysis Whittaker model Induced representation Kirillov model Unitary representation Regular representation Tempered representation Abstract algebra Group theory Algebra
644	Hadronic W Reconstruction in the Search for a Fourth-Generation Down-type Quark Ami Greene August 3, 2012 Abstract Add to Reading List Source URL: www.nevis.columbia.edu Language: English - Date: 2012-08-09 16:28:56 Electroweak theory Bosons Nuclear physics ATLAS experiment Lepton Weak interaction Quark Higgs boson W and Z bosons Physics Particle physics Standard Model
645	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-07 23:18:57 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
646	Model Lesson Plan for 7.NS[removed]Background Information Content/Grade Level The Number System/7th Grade Unit/Cluster Add to Reading List Source URL: mdk12.org Language: English - Date: 2012-08-22 16:33:36 Elementary arithmetic Field theory Binary operations Educational psychology Reasoning Additive inverse 0.999... Field Reason Mathematics Abstract algebra Algebra
647	ABSTRACT A laboratory investigation was undertaken to determine the limiting model Reynolds number above which the scour behavior of rock protected structures can be reproduced in hydraulic models scaled according to the Add to Reading List Source URL: www.iowadot.gov Language: English - Date: 2014-04-16 17:18:08 Aerodynamics Chaos theory Transport phenomena Turbulence Scour Froude number Reynolds number Fluid dynamics Fluid mechanics Dynamics
648	Simultaneous Equation Systems for Query Processing on Continuous-Time Data Streams Yanif Ahmad, Olga Papaemmanouil, U˘gur C¸etintemel, Jennie Rogers Brown University {yna, olga, ugur, jennie}@cs.brown.edu Abstract— W Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-21 12:43:53 Data Relational model Query languages Database theory Programming paradigms StreamSQL Relational algebra Relational database Aggregate Data management Computing Database management systems
649	Exploratory data analysis for complex models∗ Andrew Gelman, Department of Statistics, Columbia University, New York, NY[removed]April 13, 2004 Abstract “Exploratory” and “confirmatory” data analysis can both be Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2004-04-19 22:32:37 Data analysis Econometrics Estimation theory Exploratory data analysis Statistical model Linear regression Statistical inference Mixture model Maximum likelihood Statistics Statistical theory Regression analysis
650	Model Lesson Plan for 7.NS[removed]Background Information Content/Grade Level The Number System/7th Grade Unit/Cluster Add to Reading List Source URL: www.mdk12.org Language: English - Date: 2012-08-22 16:33:36 Elementary arithmetic Field theory Binary operations Educational psychology Reasoning Additive inverse 0.999... Field Reason Mathematics Abstract algebra Algebra

UPDATE